jetnu zei uidje zei-lujvo

u₁ is a checkbox in user interface u₂.

The definition includes tri-state checkboxes as well. See also: gribatke zei uidje, uidje.

lensisku

On affix form:

jetnu: x₁ (du'u) is true/truth by standard/epistemology/metaphysics x₂.
zekri: x₁ (event/state) is a punishable crime/[taboo/sin] to people/culture/judges/jury x₂.

In definition:

zeiljvo: x₁ (text) is a Lojban compound predicate using the particle “zei”; with meaning x₂, arguments x₃, built from metaphor (tanru) x₄.
zejvo: x₁ (text) is a Lojban compound predicate using the particle “zei”; with meaning x₂, arguments x₃, built from metaphor (tanru) x₄.
zo si si zei fa'o: x₁ is a nonsense zei-lujvo using parts x₂, silly by standard x₃.

In notes:

cazyfau: f₁ is actual (existing in act or reality, not just potentially).
cfika: x₁ is a work of fiction about plot/theme/subject x₂/under convention x₂ by author x₃.
djeisone: x₁ is an object described as x₂, x₃, ... (termset representing serializable tree structure compatible with JSON format of attribute-value pairs).
du'umdu: x₁ is a proposition/predication (statement with a truth value), stating that x₂ is true
e'u'a (exp!): logical connective: sumti afterthought always true.
facmu'e: x₁ is reality / "the real world" ("this" world, the world the speaker and [presumably] listener reside in), containing/defining x₂ (objects and facts) defined by rules x₃
fatci: x₁ (du'u) is a fact/reality/truth/actuality, in the absolute.
ge'u'a (exp!): logical connective: forethought all but tanru-internal always true (with gi).
gi'e'u'a (exp!): logical connective: bridi-tail afterthought always true.
gribatke zei uidje: u₁ is a radio button, part of radio button group g₁, in user interface u₂.
gu'e'u'a: logical connective: tanru-internal forethought always true (with gi).
ifle: if x₁ (proposition) is true then x₂ (event) happens else x₃ (event) happens
jetkai: x₁ is genuinely x₂ (ka) by standard x₃
jetmlu: x₁ (du'u) seems true to x₂ by epistemology x₃
jetpai: p₁ judges the veracity of p₂=j₁ by standard/epistemology/metaphysics x₃=j₂.
je'u: discursive: truth - falsity.
je'u'a (exp!): logical connective: tanru-internal afterthought always true.
jezyje'u: x₁ is the truth value / degree of truth of x₂ (bridi) by epistemology/metaphysics x₃
jitfa: x₁ (du'u) is false/is an untruth by standard/epistemology/metaphysics x₂.
kutyje'u: x₁ a tautology by standard/epistemology/metaphysics x₂.
lu'a'ei: alias for «lu'a ma'o'ei»; convert / quantify / interpret as …
stace: x₁ is honest/open/truthfully revealing to/candid/frank with x₂ about matter/fact x₃.
tcinyra'igau: x₁=g₁ holds / maintains x₂=t₁ [state/property of x₃] in x₃=t₂ over interval x₄=r₂; x₁ reserves x₃ for x₂.
toi'u: discursive: yes (overriding) - yes (repeating) - no (overriding). Affirmative / negative.
uidje: x₁ is a widget of user interface x₂.